go.pact.im/x/plumb/internal/solve.solver.ctxt (field)
9 uses
go.pact.im/x/plumb/internal/solve (current package)
lift.go#L45: lifted.SetConstraint(gotypes.Subst(s.ctxt, c, m))
solve.go#L157: ctxt *types.Context
solve.go#L223: ctxt: ctxt,
solve.go#L269: in, err, miss := instantiate(p, s.ctxt, nil)
solve.go#L281: skel, err, miss := instantiate(p, s.ctxt, ownParams(p))
solve.go#L322: in, err, miss := instantiate(p, s.ctxt, targs)
solve.go#L463: in, _, _ := instantiate(p, s.ctxt, ownParams(p))
solve.go#L500: _, err, miss := instantiate(p, s.ctxt, targs)
solve.go#L540: in, err, miss := instantiate(p, s.ctxt, targs)